modeling enforcement mechanisms with security automata published presentations and documents on DocSlides.